Sorting by Exchanging
نویسندگان
چکیده
منابع مشابه
Sorting by Exchanging
We adopt the following convention: α, β, γ, δ denote ordinal numbers, k denotes a natural number, and x, y, z, t, X, Y , Z denote sets. The following propositions are true: (1) x ∈ (α+ β) \ α iff there exists γ such that x = α+ γ and γ ∈ β. (2) Suppose α ∈ β and γ ∈ δ. Then γ 6= α and γ 6= β and δ 6= α and δ 6= β or γ ∈ α and δ = α or γ ∈ α and δ = β or γ = α and δ ∈ β or γ = α and δ = β or γ =...
متن کاملOn Learning by Exchanging Advice
One of the main questions concerning learning in Multi-Agent Systems is: ”(How) can agents benefit from mutual interaction during the learning process?”. This paper describes the study of an interactive advice-exchange mechanism as a possible way to improve agents’ learning performance. The advice-exchange technique, discussed here, uses supervised learning (backpropagation), where reinforcemen...
متن کاملPrefix Exchanging and Pattern Avoidance by Involutions
Let In(π) denote the number of involutions in the symmetric group Sn which avoid the permutation π. We say that two permutations α, β ∈ Sj may be exchanged if for every k and ordering τ of j + 1, . . . , k, we have In(ατ) = In(βτ) for every n. Here we prove that 12 and 21 may be exchanged and that 123 and 321 may be exchanged. The first of these theorems gives a number of known results for patt...
متن کاملExchanging Emotions - SOM Approach
Today’s cellular phones are still based on the age-old views of what a telephone can do, that is transmit speech. However, in human interaction, communication is not based just on the actual words but also on the way how the words are spoken. How to better take this into account in the design of future phones? How to make the phones less technical, more personal? In this paper, we try to answer...
متن کاملExchanging Graphs with GXL
GXL (Graph eXchange Language) is designed to be a standard data exchange format for graph-based tools. GXL is defined as an XML sublanguage, which offers support for exchanging instance graphs together with their appropriate schema information in a uniform format. Formally, GXL is based on typed, attributed, directed, ordered graphs which are extended by concepts to represent hypergraphs and hi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2011
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-011-0015-4